In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
641	Facilitating Reuse in Hardware Models with Enhanced Type Inference Manish Vachharajani Neil Vachharajani Add to Reading List Source URL: liberty.cs.princeton.edu Language: English - Date: 2011-11-28 14:53:01 Computing Type inference Type system Parametric polymorphism Subtype polymorphism Generic programming Standard ML Hindley–Milner Data type Type theory Software engineering Programming language theory
642	Advances in Programming Languages APL6: Types, Classes, Haskell Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-07 19:06:11 Programming language theory Haskell Structural type system Type signature Nominative type system Polymorphism Abstract type Type class Java Software engineering Computing Type theory
643	Structural polymorphism in Generic Haskell ¨ Andres Loh [removed] 5 February 2005 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2011-11-25 05:39:14 Functional languages Data types Type theory Haskell Literate programming Generic programming Factorial Type system D Software engineering Computing Computer programming
644	Advances in Programming Languages APL12: Language Augmentations and Correctness David Aspinall (some slides by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-11-09 11:24:01 Procedural programming languages Cross-platform software Theoretical computer science Logic in computer science Type theory Type system Programming language Formal verification C Computing Software engineering Computer programming
645	Matsuda, N., Cohen, W. W., & Koedinger, K. R[removed]An Intelligent Authoring System with Programming by Demonstration. In Proceedings of the Japan National Conference on Information and Systems in Education. Kanazawa, Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-07-11 09:45:46 ACT-R Intelligent tutoring system TUTOR Cognition Artificial intelligence Steven Ritter Educational psychology Education Cognitive tutor
646	Planning in Models that Combine Memory with Predictive Representations of State Add to Reading List Source URL: aaai.org Language: English - Date: 2006-01-11 01:12:22 Stochastic control Partially observable Markov decision process Markov decision process Markov model Dynamical system Reinforcement learning Pruning Linear programming Constraint algorithm Statistics Dynamic programming Markov processes
647	True Sums of Products Workshop on Generic Programming 2014 Edsko de Vries, Andres Löh 31 August 2014 Add to Reading List Source URL: kosmikus.org Language: English - Date: 2014-09-01 09:38:41 Type theory Data types Generic programming Lambda calculus Logic in computer science Type system Combinatory logic C Haskell Software engineering Programming language theory Computing
648	The TMF Application Programming Interface Program to Program Communication, Transactions, and Concurrency in the Tandem NonStop system Add to Reading List Source URL: www.hpl.hp.com Language: English - Date: 2007-10-21 18:09:55 Computing Database management systems Computer architecture NonStop Concurrency control Database transaction Tandem Computers Extensible Storage Engine Database Transaction processing Data management Data
649	A Revised Semantics for Rule Inheritance and Module Superimposition in ATL Dennis Wagelaar? Software Languages Lab, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium [removed], http://soft.v Add to Reading List Source URL: soft.vub.ac.be Language: English - Date: 2011-07-06 03:21:00 Module Software Computing Programming language implementation Virtual machine Type system
650	RSI/IDL Requirement The revised SIS, section 2.3.3, offers,: LASP will provide software for reading PDS data products. This software will be located in PDS/SOFTWARE/READERS and is located in a Java executable jar file Add to Reading List Source URL: pds-atmospheres.nmsu.edu Language: English - Date: 2004-06-16 12:06:16 IDL Computer file formats Extensible Storage Engine Java class file Unified Victim Identification System Image file formats C Computing Earth sciences graphics software Array programming languages

UPDATE